On the Abstraction of Coloured Petri Nets
نویسنده
چکیده
This paper considers the appropriate properties for abstract net components in the Coloured Petri Net formalism. In doing so, it attempts to maintain the duality between places and transitions which is so foundational to Petri Net theory. It also defines what it means to execute the net at an abstract level.
منابع مشابه
Availability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملModelling and Performance Analysis of Workflow Management Systems Using Timed Hierarchical Coloured Petri Nets
In this paper a modelling methodology for workflow management systems based on coloured Petri nets is proposed. Using an integration method, processes and resources are modelled at the same abstraction level. A process is decomposed into task structures, whilst human resources are considered at role level. Activity based costing is combined with classical temporal analysis of workflow. The suit...
متن کاملModel-based Testing of a Reactive System with Coloured Petri Nets
In this paper, a reactive and nondeterministic system is tested. This is done by applying a generic model that has been specified as a configurable Coloured Petri Net. In this way, model-based testing is possible for a wide class of reactive system at the level of discrete events. Concurrently executed tasks are specified at a high level of abstraction and test traces are collected through stat...
متن کاملEffectiveness of Coloured Petri nets for Modelling and Analysing the Contract Net Protocol
Abstract. The Contract Net Protocol was developed to facilitate contract negotiation in MultiAgent Systems, between an auctioneer and many bidders. It is therefore important to analyse the protocol to ensure that it terminates correctly and satisfies other important properties. There have been few attempts to model and analyse this protocol in the literature. The main paper on its verification,...
متن کاملModelling and Analysis of a Multi-Agent Intelligent Tutoring System Based on Coloured Petri Nets
Nowadays multi-agents systems have been extensively used for the construction of intelligent tutoring systems, due to the high abstraction level. The MATHEMA model consists of an architecture to design of multi-agent systems based learning environments. In this paper we present the modelling and analysis of the MATHEMA using Coloured Petri Nets, scenarios, message sequence charts, temporal logi...
متن کامل